| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmische Lerntheorie | Fach-/Modulprüfung | 6 | 541195 | ||
| Vorlesung | 557996 | Di 08:30-10:00 AH II (2350|111) (×15) Mi 10:30-12:00 AH II (2350|111) (×15) | |||
| Übung | 557997 | Do 14:30-16:00 AH VI (2356|051) (×15) | |||
| Algorithmische Modelltheorie I | Fach-/Modulprüfung | 9 | 541304 | ||
| Algorithmische Spieltheorie | Fach-/Modulprüfung | 6 | 544584 | ||
| Analyse von Algorithmen | Fach-/Modulprüfung | 8 | 541405 | Mi 11.02.2026 10:00-12:00 AH VI (2356|051) Mo 09.03.2026 10:00-12:00 | |
| Vorlesung | 560022 | Mi 10:30-12:00 5055 (2356|055) (×15) Fr 10:30-12:00 AH III (2350|314.1) (×15) | |||
| Compilerbau | Fach-/Modulprüfung | 6 | 541246 | ||
| Concurrency Theory | Fach-/Modulprüfung | 6 | 541087 | Mo 02.03.2026 14:00-16:00 Otto Fuchs-Hörsaal (H03) (1385|003) Mi 01.04.2026 09:00-11:00 AH V (2356|050) | |
| Vorlesung | 558581 | Di 14:30-16:00 AH II (2350|111) (×15) Do 14:30-16:00 AH II (2350|111) (×15) | |||
| Übung | 558582 | Fr 08:30-10:00 AH III (2350|314.1) (×15) | |||
| Graphzerlegungen und algorithmische Anwendungen | Fach-/Modulprüfung | 6 | 545132 | ||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 541566 | ||
| Vorlesung | 537617 | Mo 10:30-12:00 5056 (2356|056) (×14) Di 08:30-10:00 5054 (2356|054) (×14) | |||
| Übung | 537387 | Do 10:30-12:00 5056 (2356|056) (×13) | |||
| Introduction to Algorithmic Differentiation | Fach-/Modulprüfung | 6 | 544572 | Mi 25.02.2026 12:00-14:00 Großer Hörsaal AM (1420|210) H01 (1385|101) Mo 23.03.2026 12:00-13:30 H01 (1385|101) | |
| Vorlesung/Übung | 536793 | Di 10:30-12:00 AH IV (2354|030) (×13) Mi 10:30-12:00 AH IV (2354|030) (×15) | |||
| Komplexitätstheorie | Fach-/Modulprüfung | 6 | 541541 | ||
| Vorlesung | 557994 | Mi 08:30-10:00 AH III (2350|314.1) (×15) Do 16:30-18:00 AH II (2350|111) (×15) | |||
| Übung | 557995 | Mi 14:30-16:00 AH II (2350|111) (×15) | |||
| Logik und Spiele | Fach-/Modulprüfung | 9 | 543270 | ||
| Fach-/Modulprüfung | 9 | 543271 | |||
| Mathematische Logik II | Fach-/Modulprüfung | 9 | 541301 | ||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 542149 | ||
| Parametrisierte Algorithmen | Fach-/Modulprüfung | 8 | 544577 | ||
| Post-quantum cryptography | Fach-/Modulprüfung | 6 | 543244 | Di 03.03.2026 14:00-15:30 P2 (3210|120) ZuseLab S1 (2315|203) Do 02.04.2026 11:30-13:00 ZuseLab C4 (2315|201) | |
| Vorlesung/Übung | 539191 | Di 16:30-18:00 AH IV (2354|030) (×15) Mi 16:30-18:00 AH I (2350|028) (×15) Fr 14:30-16:00 AH I (2350|028) (×15) | |||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 541432 | Mi 18.02.2026 12:00-14:00 AH IV (2354|030) Mi 18.03.2026 09:00-11:00 HKW 2 (1132|303) | |
| Vorlesung | 558579 | Mi 16:30-18:00 AH III (2350|314.1) (×15) Do 08:30-10:00 AH I (2350|028) (×15) | |||
| Übung | 558580 | Fr 16:30-18:00 AH I (2350|028) (×15) | |||
| Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 544543 | ||
| Stochastic Games | Fach-/Modulprüfung | 6 | 545666 |